Fix SCHEDOP_poll to avoid wakeup-waiting race on interrupt delivery.
authorKeir Fraser <keir.fraser@citrix.com>
Thu, 16 Oct 2008 17:36:43 +0000 (18:36 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Thu, 16 Oct 2008 17:36:43 +0000 (18:36 +0100)
commit27b186a0dbe932c15195a24a520b92a2d2282d92
tree18913ab2b101cfb99d0201de844556d2ef86ef18
parent7c54283cf2973b7285d5ebf70ecc0ecc5864edf7
Fix SCHEDOP_poll to avoid wakeup-waiting race on interrupt delivery.

Race found by Jan Beulich.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
xen/common/schedule.c